Logic Control - PDFSEARCH.IO - Document Search Engine

Logic Control
Results: 840

#	Item
91	10th International Command and Control Research and Technology Symposium The Future of C2 1. Title: Time-Sensitive Planning Using Point-Interval Logic• Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2006-10-08 06:41:14 Graph theory Graph
92	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:27:51 Mathematical logic Logic Theoretical computer science Logic in computer science Semantics Heap Predicate Immutable object Separation logic First-order logic Control FO
93	Exploring discrete choice model with fuzzy control theory Ming LU, IVT, BAUG, ETHZ Conference paper STRC 2012 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2012-05-16 12:25:21 Fuzzy logic Logic Science and technology Mathematical logic Neuro-fuzzy Fuzzy control system Fuzzy set Adaptive neuro fuzzy inference system Discrete choice Membership function Fuzzy rule Artificial neural network
94	Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗ Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2014-05-15 19:14:45 Logic programming Mathematical logic Constraint programming Logic in computer science Programming paradigms Satisfiability modulo theories Answer set programming Stable model semantics G-code Subroutine Analogy Algorithm
95	Using Routers to Build Logic Circuits: How Powerful is BGP? Marco Chiesa? Luca Cittadini? ? Add to Reading List Source URL: www.vanbever.eu Language: English - Date: 2013-08-22 11:30:09 Computing Network architecture Internet Routing Computer networking Internet Standards Internet protocols Border Gateway Protocol Route reflector Router Control plane Distance-vector routing protocol
96	Mechanized Verification of   Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software Concurrency control Separation logic Lock Concurrency Non-blocking algorithm Concurrent computing Parallel computing Linearizability Go
97	10th International Command and Control Research and Technology Symposium Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2006-10-08 06:39:48 Mathematics Functions and mappings Mathematical logic Interval Order theory Topology Graph of a function Function Representation
98	diploma thesis Adaptive Building Intelligence Parallel Fuzzy Controlling and Learning Architecture Based on a Temporary and Long-Term Memory Add to Reading List Source URL: www.kutter-fonds.ethz.ch Language: English - Date: 2010-05-16 10:11:32 Fuzzy logic Artificial intelligence Logic Logic in computer science Mathematical logic Theoretical computer science Control engineering Genetic fuzzy systems Fuzzy control system Genetic algorithm Fuzzy set Fuzzy markup language
99	Using Routers to Build Logic Circuits: How Powerful is BGP? Marco Chiesa? Luca Cittadini? ? Add to Reading List Source URL: vanbever.eu Language: English - Date: 2013-08-22 11:30:09 Computing Network architecture Internet Routing Computer networking Internet Standards Internet protocols Border Gateway Protocol Route reflector Router Control plane Distance-vector routing protocol
100	Microsoft Word - Zwiker-summary-04.rtf Add to Reading List Source URL: www.kutter-fonds.ethz.ch Language: English - Date: 2010-05-16 10:11:36 Artificial intelligence Fuzzy logic Cybernetics Non-classical logic Fuzzy control system Machine learning Multi-agent system Intelligent agent

UPDATE